Bruno Dutertre: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The practice of formal methods in safety-critical systems

Shaoying Liu, Victoria Stavridou, Bruno Dutertre

Journal:

Journal of Systems and Software

Year:

1995

Language:

english

File:

PDF, 1.37 MB

english, 1995

2

[IEEE 2011 IEEE International Solid- State Circuits Conference - (ISSCC) - San Francisco, CA, USA (2011.02.20-2011.02.24)] 2011 IEEE International Solid-State Circuits Conference - A side-channel and fault-attack resistant AES circuit working on duplicated complemented values

Doulcier-Verdier, Marion, Dutertre, Jean-Max, Fournier, Jacques, Rigaud, Jean-Baptiste, Robisson, Bruno, Tria, Assia

Year:

2011

Language:

english

File:

PDF, 804 KB

english, 2011

3

[IEEE 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing (PRDC) - Pasadena, CA, USA (2011.12.12-2011.12.14)] 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing - Layered Diagnosis and Clock-Rate Correction for the TTEthernet Clock Synchronization Protocol

Steiner, Wilfried, Dutertre, Bruno

Year:

2011

Language:

english

File:

PDF, 303 KB

english, 2011

4

[IEEE 2012 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC) - Leuven, Belgium (2012.09.9-2012.09.9)] 2012 Workshop on Fault Diagnosis and Tolerance in Cryptography - A DFA on AES Based on the Entropy of Error Distributions

Lashermes, Ronan, Reymond, Guillaume, Dutertre, Jean-Max, Fournier, Jacques, Robisson, Bruno, Tria, Assia

Year:

2012

Language:

english

File:

PDF, 593 KB

english, 2012

5

[IEEE 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing - Orlando, FL, USA (2008.05.5-2008.05.7)] 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) - Modeling and Verification of Time-Triggered Communication Protocols

Sorea, Maria, Dutertre, Bruno, Steiner, Wilfried

Year:

2008

Language:

english

File:

PDF, 149 KB

english, 2008

6

[IEEE 2013 Asia-Pacific Symposium on Electromagnetic Compatibility (APEMC) - Melbourne, Australia (2013.5.20-2013.5.23)] 2013 Asia-Pacific Symposium on Electromagnetic Compatibility (APEMC) - Investigation of near-field pulsed EMI at IC level

Dehbaoui, Amine, Dutertre, Jean-Max, Robisson, Bruno, Tria, Assia

Year:

2013

Language:

english

File:

PDF, 477 KB

english, 2013

7

The TTEthernet synchronisation protocols and their formal verification

Steiner, Wilfried, Dutertre, Bruno

Journal:

International Journal of Critical Computer-Based Systems

Year:

2013

Language:

english

File:

PDF, 507 KB

english, 2013

8

Role of cystoperitoneal shunt in the setup of cystic vestibular schwannomas drainage

Arnaud Dagain, Bruno Pouit, Guillaume Dutertre, Renaud Dulou

Journal:

Acta Neurochirurgica

Year:

2010

Language:

english

File:

PDF, 59 KB

english, 2010

9

Cell cycle regulation of the endogenous wild type Bloom's syndrome DNA helicase

Dutertre, Stéphanie, Ababou, Mouna, Onclercq, Rosine, Delic, Jozo, Chatton, Bruno, Jaulin, Christian, Amor-Guéret, Mounira

Journal:

Year:

2000

Language:

english

File:

PDF, 212 KB

english, 2000

10

ATM-dependent phosphorylation and accumulation of endogenous BLM protein in response to ionizing radiation

Ababou, Mouna, Dutertre, Stéphanie, Lécluse, Yann, Onclercq, Rosine, Chatton, Bruno, Amor-Guéret, Mounira

Journal:

Year:

2000

Language:

english

File:

PDF, 227 KB

english, 2000

11

Functional responses associated with pallial organ variations in the Pacific oyster Crassostrea gigas (Thunberg, 1793)

Mickaël Dutertre, Laurent Barillé, Joël Haure, Bruno Cognie

Journal:

Journal of Experimental Marine Biology and Ecology

Year:

2007

Language:

english

File:

PDF, 945 KB

english, 2007

12

[IEEE 2012 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC) - Leuven, Belgium (2012.09.9-2012.09.9)] 2012 Workshop on Fault Diagnosis and Tolerance in Cryptography - Electromagnetic Transient Faults Injection on a Hardware and a Software Implementations of AES

Dehbaoui, Amine, Dutertre, Jean-Max, Robisson, Bruno, Tria, Assia

Year:

2012

Language:

english

File:

PDF, 1.44 MB

english, 2012

13

[American Institute of Aeronautics and Astronautics AIAA Guidance, Navigation and Control Conference and Exhibit - Honolulu, Hawaii ()] AIAA Guidance, Navigation and Control Conference and Exhibit - Formal Verification and Automated Testing for Diagnostic and Monitoring Systems

Dutertre, Bruno, Rushby, John, Tiwari, Ashish, Munoz, Cesar, Siminiceanu, Radu

Year:

2008

Language:

english

File:

PDF, 274 KB

english, 2008

14

[IEEE 2013 8th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC) - Darmstadt, Germany (2013.07.10-2013.07.12)] 2013 8th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC) - Practical measurements of data path delays for IP authentication & integrity verification

Exurville, Ingrid, Fournier, Jacques, Dutertre, Jean-Max, Robisson, Bruno, Tria, Assia

Year:

2013

Language:

english

File:

PDF, 1.05 MB

english, 2013

15

[IEEE 2014 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST) - Arlington, VA, USA (2014.5.6-2014.5.7)] 2014 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST) - Analysis of the fault injection mechanism related to negative and positive power supply glitches using an on-chip voltmeter

Zussa, Loic, Dutertre, Jean-Max, Clediere, Jessy, Robisson, Bruno

Year:

2014

Language:

english

File:

PDF, 1.04 MB

english, 2014

16

[IEEE 2014 9th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS) - Santorini, Greece (2014.5.6-2014.5.8)] 2014 9th IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS) - Laser attacks on integrated circuits: From CMOS to FD-SOI

Dutertre, Jean-Max, De Castro, Stephan, Sarafianos, Alexandre, Boher, Noemie, Rouzeyre, Bruno, Lisart, Mathieu, Damiens, Joel, Candelier, Philippe, Flottes, Marie-Lise, Di Natale, Giorgio

Year:

2014

Language:

english

File:

PDF, 393 KB

english, 2014

17

[IEEE Technology of Integrated Systems in Nanoscale Era (DTIS) - Athens, Greece (2011.04.6-2011.04.8)] 2011 6th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS) - Review of fault injection mechanisms and consequences on countermeasures design

Dutertre, Jean-Max, Fournier, Jacques J.A., Mirbaha, Amir-Pasha, Naccache, David, Rigaud, Jean-Baptiste, Robisson, Bruno, Tria, Assia

Year:

2011

Language:

english

File:

PDF, 308 KB

english, 2011

18

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Simplex with sum of infeasibilities for SMT

King, Tim, Barrett, Clark, Dutertre, Bruno

Year:

2013

Language:

english

File:

PDF, 838 KB

english, 2013

19

[ACM Press the 3rd international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 3rd international conference on High confidence networked systems - HiCoNS '14 - Safety envelope for security

Tiwari, Ashish, Dutertre, Bruno, Jovanović, Dejan, de Candia, Thomas, Lincoln, Patrick D., Rushby, John, Sadigh, Dorsa, Seshia, Sanjit

Year:

2014

Language:

english

File:

PDF, 572 KB

english, 2014

20

Quantifying Ca 2+ Current and Permeability in ATP-gated P2X7 Receptors

Liang, Xin, Samways, Damien S. K., Wolf, Kyle, Bowles, Elizabeth A., Richards, Jennifer P., Bruno, Jonathan, Dutertre, Sébastien, DiPaolo, Richard J., Egan, Terrance M.

Journal:

Journal of Biological Chemistry

Year:

2015

Language:

english

File:

PDF, 2.99 MB

english, 2015

21

The French mobile neurosurgical unit*

Dulou, Renaud, Dagain, Arnaud, Delmas, Jean-Marc, Lambert, Evelyne, Blondet, Eric, Goasguen, Olivier, Pouit, Bruno, Dutertre, Guillaume, de Soultrait, François, Pernot, Philippe

Journal:

Neurosurgical FOCUS

Year:

2010

Language:

english

File:

PDF, 2.47 MB

english, 2010

22

[IEEE 2015 IEEE 21st International On-Line Testing Symposium (IOLTS) - Halkidiki, Greece (2015.7.6-2015.7.8)] 2015 IEEE 21st International On-Line Testing Symposium (IOLTS) - Experimental validation of a Bulk Built-In Current Sensor for detecting laser-induced currents

Champeix, Clement, Borrel, Nicolas, Dutertre, Jean-Max, Robisson, Bruno, Lisart, Mathieu, Sarafianos, Alexandre

Year:

2015

Language:

english

File:

PDF, 2.30 MB

english, 2015

23

[IEEE 2015 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS) - Amherst, MA, USA (2015.10.12-2015.10.14)] 2015 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS) - SEU sensitivity and modeling using pico-second pulsed laser stimulation of a D Flip-Flop in 40 nm CMOS technology

Champeix, Clement, Borrel, Nicolas, Dutertre, Jean-Max, Robisson, Bruno, Lisart, Mathieu, Sarafianos, Alexandre

Year:

2015

Language:

english

File:

PDF, 22.17 MB

english, 2015

24

Design and characterisation of an AES chip embedding countermeasures

Fournier, Jacques, Rigaud, Jean Baptiste, Bouquet, Sylvain, Robisson, Bruno, Tria, Assia, Dutertre, Jean Max, Agoyan, Michel

Journal:

International Journal of Intelligent Engineering Informatics

Year:

2011

Language:

english

File:

PDF, 893 KB

english, 2011

25

[IEEE 2014 Formal Methods in Computer-Aided Design (FMCAD) - Lausanne, Switzerland (2014.10.21-2014.10.24)] 2014 Formal Methods in Computer-Aided Design (FMCAD) - Template-based circuit understanding

Gascon, Adria, Subramanyan, Pramod, Dutertre, Bruno, Tiwari, Ashish, Jovanovic, Dejan, Malik, Sharad

Year:

2014

Language:

english

File:

PDF, 1.33 MB

english, 2014

26

Zika virus: high infectious viral load in semen, a new sexually transmitted pathogen?

Mansuy, Jean Michel, Dutertre, Marine, Mengelle, Catherine, Fourcade, Camille, Marchou, Bruno, Delobel, Pierre, Izopet, Jacques, Martin-Blondel, Guillaume

Journal:

The Lancet Infectious Diseases

Year:

2016

Language:

english

File:

PDF, 36 KB

english, 2016

27

[ACM Press the 11th Annual Cyber and Information Security Research Conference - Oak Ridge, TN, USA (2016.04.05-2016.04.07)] Proceedings of the 11th Annual Cyber and Information Security Research Conference on - CISRC '16 - Double Helix and RAVEN

Co, Michele, Dutertre, Bruno, Mason, Ian, Shankar, Natarajan, Forrest, Stephanie, Davidson, Jack W., Hiser, Jason D., Knight, John C., Nguyen-Tuong, Anh, Weimer, Westley, Burket, Jonathan, Frazier, Gr

Year:

2016

Language:

english

File:

PDF, 401 KB

english, 2016

28

Use of rifampin for treatment of disseminated tuberculosis in a patient with primary myelofibrosis on ruxolitinib

Branco, Benoit, Metsu, David, Dutertre, Marine, Marchou, Bruno, Delobel, Pierre, Recher, Christian, Martin-Blondel, Guillaume

Journal:

Annals of Hematology

Year:

2016

Language:

english

File:

PDF, 269 KB

english, 2016

29

Viral load kinetics of Zika virus in plasma, urine and saliva in a couple returning from Martinique, French West Indies

Fourcade, Camille, Mansuya, Jean-Michel, Dutertre, Marine, Delpech, Marie, Marchou, Bruno, Delobel, Pierre, Izopet, Jacques, Martin-Blondel, Guillaume

Journal:

Journal of Clinical Virology

Year:

2016

Language:

english

File:

PDF, 226 KB

english, 2016

30

Pulmonary Cement Embolism After Percutaneous Vertebroplasty

Bonardel, Gerald, Pouit, Bruno, Gontier, Eric, Dutertre, Guillaume, Mantzarides, Marina, Goasguen, Oliver, Foehrenbach, Herv??

Journal:

Clinical Nuclear Medicine

Year:

2007

Language:

english

File:

PDF, 458 KB

english, 2007

31

Spatial and temporal adjustments in gill and palp size in the oyster Crassostrea gigas

Dutertre, Mickaël, Ernande, Bruno, Haure, Joël, Barillé, Laurent

Journal:

Journal of Molluscan Studies

Year:

2016

Language:

english

File:

PDF, 469 KB

english, 2016

32

Frontside Versus Backside Laser Injection

Castro, Stephan De, Dutertre, Jean-Max, Rouzeyre, Bruno, Natale, Giorgio Di, Flottes, Marie-Lise

Journal:

ACM Journal on Emerging Technologies in Computing Systems

Year:

2016

Language:

english

File:

PDF, 814 KB

english, 2016

33

[IEEE 2016 Formal Methods in Computer-Aided Design (FMCAD) - Mountain View, CA, USA (2016.10.3-2016.10.6)] 2016 Formal Methods in Computer-Aided Design (FMCAD) - Property-directed k-induction

Jovanovic, Dejan, Dutertre, Bruno

Year:

2016

Language:

english

File:

PDF, 202 KB

english, 2016

34

[ACM Press the Second Workshop - Amsterdam, Netherlands (2015.01.19-2015.01.21)] Proceedings of the Second Workshop on Cryptography and Security in Computing Systems - CS2 '15 - Evidence of an information leakage between logically independent blocks

Zussa, Loïc, Exurville, Ingrid, Dutertre, Jean-Max, Rigaud, Jean-Baptiste, Robisson, Bruno, Tria, Assia, Clédière, Jessy

Year:

2015

Language:

english

File:

PDF, 210 KB

english, 2015

35

[IEEE 2016 16th European Conference on Radiation and Its Effects on Components and Systems (RADECS) - Bremen, Germany (2016.9.19-2016.9.23)] 2016 16th European Conference on Radiation and Its Effects on Components and Systems (RADECS) - Laser testing of a double-access BBICS architecture with improved SEE detection capabilities

Champeix, Clement, Dutertre, Jean-Max, Pouget, Vincent, Robisson, Bruno, Lisart, Mathieu, Borrel, Nicolas, Sarafianos, Alexandre

Year:

2016

Language:

english

File:

PDF, 8.54 MB

english, 2016

36

A targeted 3D EM and correlative microscopy method using SEM array tomography

Burel, Agnes, Lavault, Marie-Thérèse, Chevalier, Clément, Gnaegi, Helmut, Prigent, Sylvain, Mucciolo, Antonio, Dutertre, Stéphanie, Humbel, Bruno M., Guillaudeux, Thierry, Kolotuev, Irina

Journal:

Development (The Company of Biologists)

Year:

2018

Language:

english

File:

PDF, 5.08 MB

english, 2018

37

Olecranon bursitis secondary to Mycobacterium europaeum infection in a patient receiving immunosuppressive drugs for rheumatoid arthritis

Dutertre, Marine, Delobel, Pierre, Marchou, Bruno, Boyer, Jean-Frederic, Mougari, Faiza, Martin-Blondel, Guillaume

Journal:

Médecine et Maladies Infectieuses

Year:

2019

Language:

english

File:

PDF, 232 KB

english, 2019